"""
Package for portalcolegio_server.
"""
